Subsumption and Recognition of Heterogeneous Constraint

Terminological knowledge representation (tkr) systems such as kl-one are widely used in AI to construct concept taxonomies based on subsumption inferences. However , current tkr systems are unable to represent temporal patterns or recognize instances of such patterns from ongoing observations. Motivated by applications such as service personnel dispatching and plan recognition for interactive user interfaces, we extend tkr by introducing terminologi-cal QME networks. In QME networks, nodes are tkr concepts and arcs are qualitative constraints between temporal intervals associated with nodes, metric constraints between endpoints of temporal intervals, and equality constraints among roles of diierent concepts. We use QME networks to represent patterns, and deene QME network subsumption , which enables us to organize a pattern library into a taxonomy. We also develop a terminological approach to predictive pattern recognition based on subsumption and a related notion of compatibility. We assign a modality of necessary, optional, or impossible to every pattern as events and constraints are observed. We also show how to augment a pattern library for complete recognition. Our work, implemented in the t-rex system, enables more sophisticated applications of tkr technology. Impact: Enabling technology for automatic or interactive response to temporal patterns of events.